1.85/5.66	unsat
