13.92/13.98	unsat
