11.66/15.89	unsat
