40.62/47.99	unsat
