44.10/44.97	unsat
