12.05/12.93	unsat
