15.97/18.65	unsat
