10.80/11.78	unsat
