44.58/44.88	unsat
