11.76/15.55	unsat
