40.05/42.67	unsat
