20.54/20.60	unsat
