49.69/50.08	unsat
