54.68/56.28	unsat
