40.55/42.39	unsat
