14.46/16.98	unsat
