45.22/50.74	unsat
