17.56/17.65	unsat
