40.32/40.47	unsat
