14.46/17.98	unsat
