4.09/5.66	unsat
