17.91/32.98	unsat
