44.59/47.15	unsat
