50.92/78.61	unsat
