51.85/52.98	unsat
