40.36/42.98	unsat
