40.94/42.79	unsat
