44.33/44.81	unsat
