13.67/13.98	unsat
