17.56/18.00	unsat
