19.17/21.86	unsat
