21.54/24.13	unsat
