10.76/12.36	unsat
