42.51/44.87	unsat
