10.78/12.36	unsat
