17.56/17.67	unsat
