42.55/44.59	unsat
