15.83/17.13	unsat
