51.79/54.28	unsat
