17.36/17.86	unsat
