18.75/20.13	unsat
