5.17/5.66	unsat
