54.84/56.90	unsat
