18.55/18.66	unsat
