20.67/21.17	unsat
