42.47/44.51	unsat
