42.06/42.29	unsat
