17.56/18.11	unsat
