20.77/22.17	unsat
