17.08/20.61	unsat
