20.52/24.60	unsat
