10.27/12.93	unsat
