44.77/47.38	unsat
