20.54/20.69	unsat
