2.53/7.66	unsat
