19.96/21.77	unsat
