16.56/17.11	unsat
