12.88/12.96	unsat
