14.17/14.98	unsat
