20.68/21.12	unsat
