11.96/15.44	unsat
