44.15/69.09	unsat
