5.27/5.66	unsat
