17.11/20.48	unsat
