13.88/13.98	unsat
