18.24/20.52	unsat
