42.64/42.73	unsat
