42.64/42.87	unsat
