17.88/20.64	unsat
