12.88/12.94	unsat
