54.84/57.40	unsat
