17.56/18.68	unsat
