18.08/18.32	unsat
