11.66/11.72	unsat
