3.98/5.66	unsat
