12.88/13.82	unsat
