48.20/52.84	unsat
