42.31/42.40	unsat
