55.84/61.21	unsat
