42.41/42.59	unsat
