1.59/5.11	unsat
