5.59/5.66	unsat
