18.56/18.66	unsat
