49.33/50.04	unsat
