20.32/22.16	unsat
