49.36/52.47	unsat
