5.59/8.12	unsat
