44.58/47.44	unsat
