20.94/21.29	unsat
