54.38/56.28	unsat
