14.66/16.98	unsat
