42.29/44.38	unsat
