16.23/18.32	unsat
