5.18/5.66	unsat
