44.45/47.59	unsat
