18.63/18.77	unsat
