18.56/18.68	unsat
