18.06/18.14	unsat
